Deriving real-time action systems in a sampling logic
نویسندگان
چکیده
منابع مشابه
Deriving real-time action systems with multiple time bands using algebraic reasoning
The verify-while-develop paradigm allows one to incrementally develop programs from their specifications using a series of calculations against the remaining proof obligations. This paper presents a derivation method for real-time systems with realistic constraints on their behaviour. We develop a high-level intervalbased logic that provides flexibility in an implementation, yet allows algebrai...
متن کاملReal-time Action Logic and Applications
This paper presents work performed in the EPSRC \Object-oriented Speciication of Reactive and Real-time Systems" project. It aims to extend the Object Calculus of Fiadeiro and Maibaum to cover durative actions, real-time constraints and hybrid systems. We deene a core logic, termed \Real-time action logic" (RAL) which can provide an axiomatic semantics and reasoning framework for concurrent, re...
متن کاملDeriving objects from use cases in real-time embedded systems
In recent years, a number of use case-driven processes have emerged for the development of real-time embedded systems. In these processes, once requirements have been defined by use cases, the next step is usually to identify from that use cases, the central objects in the system and describing how they interact with one another. However, identifying objects/classes from the requirements is bot...
متن کاملSpecifying real-time systems in rewriting logic
This work investigates the suitability of rewriting logic as a semantic framework for modeling real time and hybrid systems We present a general method to specify and symbolically simulate such systems in rewriting logic and illustrate it with a well known benchmark We also show how a wide range of real time and hybrid system models can be naturally expressed and are uni ed within our approach ...
متن کاملDeriving reliability estimates of distributed real-time systems by simulation
Industrial deployment of academic real-time techniques still struggles to gain momentum due to the non-familiarity of the industry with schedulability analysis, as well as the lack of appropriate commercial tools. More over, it is imperative that academia realises the extent of pessimism in the proposed techniques, which often makes them less attractive to systems developers. The possible trade...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2013
ISSN: 0167-6423
DOI: 10.1016/j.scico.2012.07.008